#include "N32ShiftRight.h"

#include "Bldc_Svc.h"
#include "Bldc_Svc_private.h"

int32_T N32ShiftRight(int32_T rtu_xN32, uint8_T rtu_numU8)
{
  return rtu_xN32 >> rtu_numU8;
}
